lump uncurrying

Chin's generalisation of {uncurrying}. A curried function

taking several {tuple}s as arguments can be transformed to

take a single tuple containing all the components of the

original tuples.